Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
301	Geospatial Big Data for Finding Useful Insights from Machine Data Pouria Amirian, Francois Van Loggerenberg, Trudie Lang and Margaret Varga The Global Health Network, The University of Oxford November 6, 2014 Summary Th Add to Reading List Source URL: leeds.gisruk.org Language: English* - Date: 2015-04-19 18:21:15 Formal sciences Database management systems Database theory Business intelligence Cartography Analytics Geospatial analysis Data analysis Big data Technology Data management Science
302	15th INTERNATIONAL CONFERENCE ON SYSTEMS RESEARCH, INFORMATICS & CYBERNETICS Add to Reading List Source URL: www.iias.edu Language: English - Date: 2011-10-12 13:45:44 Control theory Systems Knowledge Systems science Formal sciences Multi-agent system System Science Systems theory Cybernetics
303	Weak Formal Systems and Connections to Computational Complexity Lecture Notes for a Topics Course University of California, Berkeley January-May 1988 Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2006-04-24 18:16:59 Proof theory Automated theorem proving Propositional calculus Logical truth Logical syntax Sequent Cut-elimination theorem Substitution Resolution Logic Mathematical logic Mathematics
304	Combining a Formal with an Example-driven Approach for Data Integration Ingolf Geist Kai-Uwe Sattler Ingo Schmitt Department of Computer Science Add to Reading List Source URL: fusion.cs.uni-magdeburg.de Language: English - Date: 2002-10-04 04:13:20 Information Database management systems Federated database system Database schema Data integration Data model EXPRESS Data mapping Schema matching Data management Data modeling Data
305	Dr. Tom Gruber’ s (Co-founder and Chief Technical Officer of Intraspect Software) Interview For the Official Quarterly Bulletin of AIS Special Interest Group on Semantic Web and Information Systems, Volume 1, Issue 3, Add to Reading List Source URL: tomgruber.org Language: English - Date: 2012-01-26 21:30:22 Semantic Web Information science Technical communication Knowledge Knowledge engineering Formal ontology Tom Gruber Upper ontology Agricultural Ontology Service Ontology Information Science
306	Recursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Discrete mathematics Theoretical computer science Formal languages Ergodic theory Subshift of finite type Shift space Recursively enumerable set Dynamical system Cellular automaton Combinatorics on words Mathematics Automata theory
307	Type Classes Without Types ∗ Ronald Garcia Andrew Lumsdaine Open Systems Lab Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Lambda calculus Functional programming Type theory Data types Formal methods Monad Fixed-point combinator Map Type class Software engineering Computing Computer programming
308	Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:58 Ada programming language Program analysis Formal methods Avionics Type theory SPARK Ada Static program analysis Software bug Computing Software engineering Programming language theory
309	Travel and Transportation in the Age of BigData Ugur Demiryurek, Ph.D. Associate Director, Integrated Media Systems Center (IMSC) Viterbi School of Engineering Add to Reading List Source URL: imsc.usc.edu Language: English - Date: 2015-04-06 13:09:58 Analytics Mathematical finance Autoregressive integrated moving average Business Data management Business intelligence Formal sciences Statistics
310	Biomedical Computations on the Grid Chun-Hsi Huang, Sanguthevar Rajasekaran Department of Computer Science and Engineering University of Connecticut Storrs, CThuang, rajasek @cse.uconn.edu Add to Reading List Source URL: www.cse.uconn.edu Language: English - Date: 2004-02-04 14:28:34 Bioengineering Bioinformatics BioGRID Proteins Systems biology Grid computing Data mining Formal sciences Science Biology

UPDATE